;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Problema do Jantar Surpresa do Daniel Weld
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

( define ( problem surprise-dinner )
	( :domain surprise_dinner-domain )
    ( :objects )
	( :init ( and
		( lixo )
		( maos_limpas )
		( silencio )
		( not ( jantar ) )
		( not ( presente ) ) )
	)

	( :goal ( and
		( jantar )
		( presente )
		( not ( lixo ) ) )
	)
)

